Using A Rotary Encoder With Raspberry Pi Pico